Books by author Rolf Drechsler

Showing 20 – 40 out of 68 results

1. 

   Advanced BDD Optimization

   Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler | Springer-Verlag New York Inc., 2005

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Hardback

   167.67 €

   Buy
2. 

   Binary Decision Diagrams

   Rolf Drechsler, Bernd Becker | Springer, 1998

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   154.23 €

   Sale 7 %

   You save 12.86 €

   Buy
3. 

   Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

   Pascal Pieper, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   123.40 €

   Sale 7 %

   You save 10.32 €

   Buy
4. 

   Robustness and Usability in Modern Design Flows

   Görschwin Fey, Rolf Drechsler | Springer, 2010

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.88 €

   Sale 7 %

   You save 8.62 €

   Buy
5. 

   Evolutionary Algorithms for Embedded System Design

   Nicole Drechsler, Rolf Drechsler | Springer-Verlag New York Inc., 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.88 €

   Sale 7 %

   You save 8.62 €

   Buy
6. 

   Information Storage

   Cornelia S. Große, Rolf Drechsler | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   102.88 €

   Sale 7 %

   You save 8.62 €

   Buy
7. 

   Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

   Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler | Springer International Publishing AG, 2018

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   154.23 €

   Sale 7 %

   You save 12.86 €

   Buy
8. 

   Formal Specification Level, 1

   Mathias Soeken, Rolf Drechsler | Springer, Berlin, 2014

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   102.88 €

   Sale 7 %

   You save 8.62 €

   Buy
9. 

   Formal Specification Level

   Mathias Soeken, Rolf Drechsler | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.88 €

   Sale 7 %

   You save 8.62 €

   Buy
10. 

    Test Pattern Generation using Boolean Proof Engines

    Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2010

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.88 €

    Sale 7 %

    You save 8.62 €

    Buy
11. 

    Computer

    Rolf Drechsler, Andrea Fink, Jannis Stoppe | Springer Berlin Heidelberg, 2017

    
    

    In stock at our supplier - Shipping in 8 - 11 days

    Language: German

    Binding: Paperback

    17.98 €

    Sale 11 %

    You save 2.22 €

    Buy
12. 

    Design for Testability, Debug and Reliability

    Sebastian Huhn, Rolf Drechsler | Springer Nature Switzerland AG, 2022

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    82.67 €

    Buy
13. 

    Advanced Formal Verification

    Rolf Drechsler | Springer-Verlag New York Inc., 2004

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.88 €

    Sale 7 %

    You save 8.62 €

    Buy
14. 

    Towards One-Pass Synthesis

    Rolf Drechsler, Wolfgang Günther | Springer-Verlag New York Inc., 2010

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.88 €

    Sale 7 %

    You save 8.62 €

    Buy
15. 

    Advanced Logic Synthesis

    Rolf Drechsler, André Inácio Reis | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.88 €

    Sale 7 %

    You save 8.62 €

    Buy
16. 

    High Quality Test Pattern Generation and Boolean Satisfiability

    Rolf Drechsler | Springer-Verlag New York Inc., 2014

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.49 €

    Sale 9 %

    You save 11.11 €

    Buy
17. 

    Formal System Verification

    Rolf Drechsler | Springer International Publishing AG, 2017

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    123.40 €

    Sale 7 %

    You save 10.32 €

    Buy
18. 

    Formal Modeling and Verification of Cyber-Physical Systems

    Rolf Drechsler, Ulrich Kühne | Springer Fachmedien Wiesbaden, 2015

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.64 €

    Sale 7 %

    You save 4.28 €

    Buy
19. 

    Graphenbasierte Funktionsdarstellung

    Rolf Drechsler, Bernd Becker | Vieweg+Teubner, 1998

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: German

    Binding: Paperback

    47.19 €

    Sale 6 %

    You save 3.34 €

    Buy
20. 

    Evolutionary Algorithms for Embedded System Design

    Rolf Drechsler, Nicole Drechsler | Springer-Verlag New York Inc., 2002

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.88 €

    Sale 7 %

    You save 8.62 €

    Buy

We send books in special cardboard delivery boxes. Find out more